Los autores se preguntan por el aporte real de los biocombustibles a la solución de los problemas ambientales. Después de analizar las actuales formas de producción en Brasil, sostienen que la expansión de éstos presionará indirectamente hacia la deforestación, contribuyendo así aún más al calentamiento global. Señalan lo falaz del discurso que justifica la expansión de los biocombustibles por su aporte a la generación de empleo. Sostienen que es fundamental incorporar los requerimentos de sostenibilidad en la cadena de producción para (...) garantizar competitividad a los países potencialmente exportadores, pero que aún así esa solución es limitada ya que todas las energías alternativas y renovables juntas, no suplirían las proyecciones del patrón de consumo mundial. (shrink)

Forthcoming guide with brief introductions on methods in analytic philosophy by experts on the relevant topics. With sections on: formal methods, argumentation, inferential methods, thought experiments, intuition, ordinary language philosophy, conceptual analysis, conceptual engineering, naturalism, analytic feminism, experimental philosophy, and progress and disagreement in philosophy.

George Spencer Brown, a polymath and author of Laws of Form, brought together mathematics, electronics, engineering and philosophy to form an unlikely bond. This book investigates Design with the NOR, the title of the yet unpublished 1961 typescript by Spencer Brown. The typescript formed through the author's experiences as technical engineer and developer of a new form of switching algebra for Mullard Equipment LTD., a British manufacturer of electronic components. Related essays contextualise the typescript drawing on a variety of backgrounds (...) from mathematics and engineering to philosophy and sociology. (shrink)

Dividing chains have been used as conditions to isolate adequate subclasses of simple theories. In the first part of this paper we present an introduction to the area. We give an overview on fundamental notions and present proofs of some of the basic and well-known facts related to dividing chains in simple theories. In the second part we discuss various characterizations of the subclass of low theories. Our main theorem generalizes and slightly extends a well-known fact about the connection between (...) dividing chains and Morley sequences (in our case: independent sequences). Moreover, we are able to give a proof that is shorter than the original one. This result motivates us to introduce a special property of formulas concerning independent dividing chains: For any dividing chain there exists an independent dividing chain of the same length. We study this property in the context of low, short and ω -categorical simple theories, outline some examples and define subclasses of low and short theories, which imply this property. The results give rise to further studies of the relationships between some subclasses of simple theories. (shrink)

We prove that a enumerable degree is contiguous iff it is locally distributive. This settles a twenty-year old question going back to Ladner and Sasso. We also prove that strong contiguity and contiguity coincide, settling a question of the first author, and prove that no $m$-topped degree is contiguous, settling a question of the first author and Carl Jockusch [11]. Finally, we prove some results concerning local distributivity and relativized weak truth table reducibility.

Understanding terrestrial carbon metabolism is critical because terrestrial ecosystems play a major role in the global carbon cycle. Furthermore, humans have severely disrupted the carbon cycle in ways that will alter the climate system and directly affect terrestrial metabolism. Changes in terrestrial metabolism may well be as important an indicator of global change as the changing temperature signal. Improving our understanding of the carbon cycle at various spatial and temporal scales will require the integration of multiple, complementary and independent methods (...) that are used by different research communities. Tools such as air sampling networks, inverse numerical methods, and satellite data allow us to study the strength and location of the global- and continental-scale carbon sources and sinks. Bottom-up studies provide estimates of carbon fluxes at finer spatial scales and examine the mechanisms that control fluxes at the ecosystem, landscape, and regional scales. Bottom-up approaches include comparative and process studies that provide the necessary mechanistic information to develop and validate terrestrial biospheric models. An iteration and reiteration of top-down and bottom-up approaches will be necessary to help constrain measurements at various scales. We propose a major international effort to coordinate and lead research programs of global scope of the carbon cycle. (shrink)

Hirschfeldt and Shore have introduced a notion of stability for infinite posets. We define an arguably more natural notion called weak stability, and we study the existence of infinite computable or low chains or antichains, and of infinite $\Pi _1^0 $ chains and antichains, in infinite computable stable and weakly stable posets. For example, we extend a result of Hirschfeldt and Shore to show that every infinite computable weakly stable poset contains either an infinite low chain or an infinite computable (...) antichain. Our hardest result is that there is an infinite computable weakly stable poset with no infinite $\Pi _1^0 $ chains or antichains. On the other hand, it is easily seen that every infinite computable stable poset contains an infinite computable chain or an infinite $\Pi _1^0 $ antichain. In Reverse Mathematics, we show that SCAC, the principle that every infinite stable poset contains an infinite chain or antichain, is equivalent over RCA₀ to WSCAC, the corresponding principle for weakly stable posets. (shrink)

Working toward showing the decidability of the $\forall \exists $ -theory of the ${\Sigma ^0_2}$ -enumeration degrees, we prove that no so-called Ahmad pair of ${\Sigma ^0_2}$ -enumeration degrees can join to ${\mathbf 0}_e'$.

We solve a longstanding question of Rosenstein, and make progress toward solving a longstanding open problem in the area of computable linear orderings by showing that every computable ƞ-like linear ordering without an infinite strongly ƞ-like interval has a computable copy without nontrivial computable self-embedding. The precise characterization of those computable linear orderings which have computable copies without nontrivial computable self-embedding remains open.

Connecting human minds to various technological devices and applications through brain-computer interfaces (BCIs) affords intriguingly novel ways for humans to engage and interact with the world. Not only do BCIs play an important role in restorative medicine, they are also increasingly used outside of medical or therapeutic contexts (e.g., gaming or mental state monitoring). A striking peculiarity of BCI technology is that the kind of actions it enables seems to differ from paradigmatic human actions, because, effects in the world are (...) brought about by devices such as robotic arms, prosthesis, or other machines, and their execution runs through a computer directed by brain signals. In contrast to usual forms of action, the sequence does not need to involve bodily or muscle movements at all. A motionless body, the epitome of inaction, might be acting. How do theories of action relate to such BCI-mediated forms of changing the world? We wish to explore this question through the lenses of three perspectives on agency: subjective experience of agency, philosophical action theory, and legal concepts of action. Our analysis pursues three aims: First, we shall discuss whether and which BCI-mediated events qualify as actions, according to the main concepts of action in philosophy and law. Secondly, en passant, we wish to highlight the ten most interesting novelties or peculiarities of BCI-mediated movements. Thirdly, we seek to explore whether these novel forms of movement may have consequences for concepts of agency. More concretely, we think that convincing assessments of BCI-movements require more fine-grained accounts of agency and a distinction between various forms of control during movements. In addition, we show that the disembodied nature of BCI-mediated events causes troubles for the standard legal account of actions as bodily movements. In an exchange with views from philosophy, we wish to propose that the law ought to reform its concept of action to include some, but not all, BCI-mediated events and sketch some of the wider implications this may have, especially for the venerable legal idea of the right to freedom of thought. In this regard, BCIs are an example of the way in which technological access to yet largely sealed-off domains of the person may necessitate adjusting normative boundaries between the personal and the social sphere. (shrink)

Answering a question of Per Lindström, we show that there is no “plus-capping” degree, i.e. that for any incomplete r.e. degreew, there is an incomplete r.e. degreea>w such that there is no r.e. degreev>w witha∩v=w.

The design and reporting of data-driven studies seeking to measure misinformation are patchy and inconsistent, and these studies rarely measure associations with, or effects on, behaviour. The consequence is that data-driven misinformation studies are not yet useful as an empirical basis for guiding when to act on emerging misinformation threats, or for deciding when it is more appropriate to do nothing to avoid inadvertently amplifying misinformation. In a narrative review focused on examples of health-related misinformation, we take a critical perspective (...) of data-driven misinformation studies. To address this problem, we propose a curated and open library of misinformation examples and describe its structure and how it might be used to support actionable surveillance. We draw on experiences with other curated repositories to speculate on the likely challenges related to achieving critical mass and maintaining data consistency. We conclude that an open library of misinformation could help improve the consistency of data-driven misinformation study design and reporting, as well as provide an empirical basis from which to make decisions about how to act on new and emerging misinformation threats. (shrink)

The tower number ${\mathfrak t}$ and the ultrafilter number $\mathfrak {u}$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subsets of $\omega $ and the almost inclusion relation $\subseteq ^*$ between such subsets. We consider analogs of these cardinal characteristics in computability theory.We say that a sequence $(G_n)_{n \in {\mathbb N}}$ of computable sets is a tower if $G_0 = {\mathbb N}$, $G_{n+1} \subseteq ^* G_n$, and $G_n\smallsetminus G_{n+1}$ is infinite for each n. (...) A tower is maximal if there is no infinite computable set contained in all $G_n$. A tower ${\left \langle {G_n}\right \rangle }_{n\in \omega }$ is an ultrafilter base if for each computable R, there is n such that $G_n \subseteq ^* R$ or $G_n \subseteq ^* \overline R$ ; this property implies maximality of the tower. A sequence $(G_n)_{n \in {\mathbb N}}$ of sets can be encoded as the “columns” of a set $G\subseteq \mathbb N$. Our analogs of ${\mathfrak t}$ and ${\mathfrak u}$ are the mass problems of sets encoding maximal towers, and of sets encoding towers that are ultrafilter bases, respectively. The relative position of a cardinal characteristic broadly corresponds to the relative computational complexity of the mass problem. We use Medvedev reducibility to formalize relative computational complexity, and thus to compare such mass problems to known ones.We show that the mass problem of ultrafilter bases is equivalent to the mass problem of computing a function that dominates all computable functions, and hence, by Martin’s characterization, it captures highness. On the other hand, the mass problem for maximal towers is below the mass problem of computing a non-low set. We also show that some, but not all, noncomputable low sets compute maximal towers: Every noncomputable (low) c.e. set computes a maximal tower but no 1-generic $\Delta ^0_2$ -set does so.We finally consider the mass problems of maximal almost disjoint, and of maximal independent families. We show that they are Medvedev equivalent to maximal towers, and to ultrafilter bases, respectively. (shrink)

The talk of a naturalistic fallacy has become rather common in recent bioethical debates, especially in the field of jurisprudence. The following article takes a closer look at the term, retracing it to its origin in the moral philosophy of G.E. Moore. The analysis shows that the concept of the naturalistic fallacy is not only philosophically highly controversial. It is also neither used correctly - in its original meaning - in the current debates nor is it very helpful to solve (...) the specific juridical questions in bioethics. (shrink)

Menschen können missachtet werden. Woher aber rührt diese symbolische Verletz-barkeit? Und welche Folgen hat sie für unser soziales Zusammenleben? Im Ausgangvon den Theorien der Anerkennung und den Theorien der Alterität geht Steffen Herrmann diesen beiden Fragen nach. Er argumentiert im Anschluss an G.W.F. Hegel dafür, dass eine asymmetrische Abhängigkeit von der Anerkennung von Anderendie Ursache von symbolischer Verletzbarkeit bildet. Sodann zeigt er im Anschluss an E. Levinas, dass die Folge dieser Verletzungsoffenheit eine asymmetrische Ausge-setztheit an die Verantwortung für Andere (...) ist. Aus den Arbeiten von Hegel und Levinas wird so die Grundthese der vorliegenden Untersuchung gewonnen: Die Begegnung zwischen Ich und Anderem ist strukturiert durch die doppelte Asymmetrie des Sozialen. (shrink)

The Flow of Influence: From Newton to Locke - and Back- In this essay, the affinity between Locke’s empiricism and Newton’s natural philosophy is scrutinized. Parallels are distinguished from influences. I argue, pace G.A.J. Rogers, that Newton’s doctrine of absolute space and time influenced Locke’s Essay concerning Human Understanding from the second edition onwards. I also show that Newton used Lockean terminology in his criticism of Cartesianism. It is further argued that Locke’s endorsement of corpuscularianism is merely methodological, i.e. he (...) accepts it as a scientifically useful and psychologically intelligible paradigm, but not as a realist explanation of rerum natura. Like Newton, Locke was reluctant to accept the corpuscular theory of light. However, his reasons for doing so were different from those of Newton. This essay is divided into three parts: in the first, the stage is set by looking at the fundamentals of Locke’s epistemology; in the second, several correspondences between Locke’s and Newton’s thought are explored and two cases of influence are argued for; and in the third, several arguments are provided for interpreting Locke’s corpuscularianism as methodological. (shrink)

We provide three new results about interpolating 2-r.e. or 2-REA degrees between given r.e. degrees: Proposition 1.13. If c h are r.e. , c is low and h is high, then there is an a h which is REA in c but not r.e. Theorem 2.1. For all high r.e. degrees h g there is a properly d-r.e. degree a such that h a g and a is r.e. in h . Theorem 3.1. There is an incomplete nonrecursive r.e. A (...) such that every set REA in A and recursive in 0′ is of r. e. degree. The first proof is a variation on the construction of Soare and Stob . The second combines highness with a modified version of the proof strategy of Cooper et al. . The third theorem is a rather surprising result with a somewhat unusual proof strategy. Its proof is a 0‴ argument that at times moves left in the tree so that the accessible nodes are not linearly ordered at each stage. Thus the construction lacks a true path in the usual sense. Two substitute notions fill this role: The true nodes are the leftmost ones accessible infinitely often; the semitrue nodes are the leftmost ones such that there are infinitely many stages at which some extension is accessible. Another unusual feature of the construction is that it involves using distinct priority orderings to control the interactions of different parts of the construction. (shrink)

Mitchell Greenʼs conception of the thesis of Literary Cognitivism states that literary fiction can be a source of knowledge that depends crucially on its being fictional. By a modal argument the authors show that the criterion of fictionality cannot be crucial to the epistemic value of literary fiction. Rather, it lays in a certain kind of distance, e.g. a temporal, cultural, or interpersonal one. This will be motivated by drawing parallels to Gadamerʼs hermeneutics, especially his conception of fusion of horizons. (...) In doing so, we agree with Green’s characterisation of knowledge that can be gained from engaging with literary fiction, but present a different approach to the source of this knowledge. At the same time, this approach enables us to extend the epistemic value of literary fiction both quantitatively and qualitatively. (shrink)

This paper offers arguments against Francesco Ademollo’s redundancy thesis about the notion of the correctness of names in the Cratylus. The paper distinguishes between two versions of the redundancy thesis and provides arguments against each of them. In addition to supporting the rejection of both versions of the redundancy thesis, the arguments provide new interpretations of important issues inside and outside of the Cratylus. These issues include the philological evidence from the Classical period (e.g. Nicomachean Ethics, VI.9, 1142b6–12, on euboulia (...) as a kind of correctness), the view of correctness expressed by Plato’s Socrates in other dialogues, and Socrates’ initial discussion with Cratylus (in particular 428e–429b). (shrink)

This article seeks to provide a historically well-informed analysis of an important post-Newtonian area of research in experimental physics between 1798 and 1898, namely the determination of the mean density of the earth and, by the end of the nineteenth century, the gravitational constant. Traditionally, research on these matters is seen as a case of “puzzle solving.” In this article, the author shows that such focus does not do justice to the evidential significance of eighteenth- and nineteenth-century experimental research on (...) the mean density of the earth and the gravitational constant. As Newton’s theory of universal gravitation was mainly based on astronomical observation, it remained to be shown that Newton’s law of universal gravitation did not break down at terrestrial distances. In this context, Cavendish’ experiment and related nineteenth-century experiments played a decisive role, for they provided converging and increasingly stronger evidence for the universality of Newton’s theory of gravitation. More precisely, the author shall argue that, as the accuracy and precision of the experimental apparatuses and the procedures to eliminate external disturbances involved increasingly improved, the empirical support for the universality of Newton’s theory of gravitation improved correspondingly. (shrink)

Previous work on individual differences has revealed limitations in the ability of existing measures (e.g., working memory) to predict language processing. Recent evidence suggests that an individual's sensitivity to detect the statistical regularities present in language (i.e., “chunk sensitivity”) may significantly modulate online sentence processing. We investigated whether individual chunk sensitivity predicted the online processing of gender cues, a core linguistic feature of Spanish. In a self‐paced reading task, we examined native speakers’ processing of relative clauses in which gender cues (...) were variably exploited to induce processing costs. Even after considering the effect of working memory and cognitive control, the results revealed a significant effect of chunking ability in modulating online sentence processing. Critically, higher‐chunking ability speakers’ reading times showed online sensitivity to core linguistic cues online; while low‐chunking ability readers showed no sensitivity to manipulations, indicating shallow real‐time processing of their native language. (shrink)

In this article, we offer a systematic description of intermedia relations across music, literature, the visual arts, and film. Beginning with some general reflections on materiality and medium in these diverse fields of art, we then offer various examples consisting of two media (e.g. music film, song, images in writing). We pursue the question if, and how, one of the two media may take priority over the other. In our conclusion, we deal with „intermedia relations in monomediality“. This section focuses (...) on artistic representations made in one medium, but based on reflections on another medium. For instance, this is the case when a novelist writes about a picture without having this picture reprinted in the text. (shrink)

Combinatorial operations on sets are almost never well defined on Turing degrees, a fact so obvious that counterexamples are worth exhibiting. The case we focus on is the symmetric-difference operator; there are pairs of degrees for which the symmetric-difference operation is well defined. Some examples can be extracted from the literature, e.g. from the existence of nonzero degrees with strong minimal covers. We focus on the case of incomparable r.e. degrees for which the symmetric-difference operation is well defined.

This book is a new scholarly edition of Lincoln Steffensâ classic, â oemuck-rakingâ account of Gilded Age corruption in America. It provides the broader political background, theoretical and historical context needed to better understand the social and political roots of corruption in general terms: the social and moral nature of corruption and reform. Steffens enjoyed the support of a multitude of journalists with first-hand knowledge of their localities. He interviewed and came to know political bosses, crusading district attorneys and indicted (...) corruptionists spanning a cast of hundreds. He also benefited from the support of a large-scale, nationally prominent network of anti-corruption specialists and luminaries, including President Theodore Roosevelt. Steffens explored in detail the high Gilded Age corruption of New York City, Chicago, â oecorrupt and contentedâ Philadelphia, Pittsburgh, St. Louis and Minneapolis. His work culminated in a well-documented record of Gilded Age corruption in the cities; and, with the addition of the editorial annotations, Chronology and Introduction of this edition, the reader is placed in a position to gain an overview and considerable insight into the general, moral and social-political phenomenon of corruption. This book will be of interest for students and professionals in political philosophy, political science, American history and American studies. (shrink)

Let CKDT be the assertion that for every countably infinite bipartite graph G, there exist a vertex covering C of G and a matching M in G such that C consists of exactly one vertex from each edge in M. (This is a theorem of Podewski and Steffens [12].) Let ATR0 be the subsystem of second-order arithmetic with arithmetical transfinite recursion and restricted induction. Let RCA0 be the subsystem of second-order arithmetic with recursive comprehension and restricted induction. We show that (...) CKDT is provable in ART0. Combining this with a result of Aharoni, Magidor, and Shore [2], we see that CKDT is logically equivalent to the axioms of ATR0, the equivalence being provable in RCA0. (shrink)

In semiotics, final causation can be related to the process of determination (PAPE, 1993). From Peirce’s point of view, determination is not a causal determinism, but a delimitation of a range of possibilities. One starts from objects towards interpretants, in a process mediated by the sign, in which the dynamic object works as a force that constrains interpretants to correspond to their objects. The correspondence between object and interpretant is important because it is through a generated interpretant that the object (...) of a sign can be known. Even though this process of determination coincides with the idea of final causation, there is a certain indeterminacy in it. For Peirce (EP 2:353, 1905), vagueness and generality are two types of indeterminacy. In the terms of the phenomenological categories, vagueness is an indeterminacy of the order of firstness, generality an indeterminacy of the order of thirdness, and both, to some extent, are opposed to that which is defined, which belongs to secondness. Each aspect of the sign may vary according to the three phenomenological categories. Consequently, degrees of imprecision are added to the semiotic process, which is a determination process. Peirce asserts that the perfect precision of thought is theoretically unattainable (SS 11, 1903). Every sign is vague or general at least to some degree. In this paper, we seek to perceive degrees of indetermination and causality from an analysis of the kinds of objects and interpretants proposed by Peirce in the system of 28 sign classes. (shrink)

The objective of this study is to compare the quantity of citations that retracted and nonretracted articles received in engineering based on articles indexed in the Web of Science database and published between 1945 and 2015. For data analysis, the Statistical Package for the Social Sciences was used along with the Kolmogorov–Smirnov, Mann–Whitney, Tukey–Kramer tests and descriptive statistics. The data set included 238 retracted and 236 nonretracted articles, with the retracted articles cited 2,348 times and nonretracted articles cited 2,957 times. (...) The results highlight that retraction does not end citation, thus threatening scientific credibility. (shrink)

Resumo: Mente é, para Peirce, um sistema de crenças que age para alcançar um determinado propósito. Não apenas Peirce atribui mente a instituições e grupos sociais, mas o desenvolvimento da mente depende da extensão dela além das mentes humanas individuais. Portanto, comunidades ou instituições sociais incorporam hábitos sociais e agem como mentes, com propósitos próprios, fixando crenças de dois tipos: crenças de importância vital e crenças teóricas, que têm relação com o conhecimento e a verdade. Redes sociais, na internet, podem (...) ser vistas como uma complexa mente social composta por indivíduos e suas mídias digitais, as quais englobam gadgets, algoritmos e plataformas. Se as redes sociais na internet atuam de forma a atingir certas crenças, de que tipo elas são? São crenças de importância vital ou crenças teóricas que conduzem ao conhecimento e à verdade? Esses dois tipos de crenças são suficientes para entender os modos de ação das redes sociais na internet? (shrink)

Por meio de pesquisa bibliográfica e imagens de obras de arte, o artigo discute aspectos da história da Estética e da sociedade atual. Apresenta reflexões marxianas sobre a sociedade capitalista e o processo de embrutecimento dos sentidos humanos para, a seguir, abordar as relações estabelecidas entre a Indústria Cultural e a sociedade de consumo com o intento de debater o processo de estetização da sociedade. Finaliza ao apontar a obra de arte e o efeito catártico proporcionado por ela como modos (...) de estabelecer novas relações com a realidade e com as diferentes manifestações que buscam retratá-la. (shrink)

In his 1903 Syllabus, Charles S. Peirce makes a distinction between icons and iconic signs, or hypoicons, and briefly introduces a division of the latter into images, diagrams, and metaphors. Peirce scholars have tried to make better sense of those concepts by understanding iconic signs in the context of the ten classes of signs described in the same Syllabus. We will argue, however, that the three kinds of hypoicons can better be understood in the context of Peirce's sixty-six classes of (...) signs. We analyze examples of hypoicons taken from the field of information design, describing them in the framework of the sixty-six classes, and discuss the consequences of those descriptions to the debate about the order of determination of the 10 trichotomies that form those classes. (shrink)

Criado por homens de natureza poética e, portanto, obra por excelência da imaginação, o mundo civil dos primeiros tempos poderia ser conhecido, segundo Giambattista Vico, mediante a elaboração e a adoção de um aparato metodológico-científico que estabelece os princípios dos desenvolvimentos humanos. Tal aparato consistiria na própria Ciência Nova, obra viquiana que pretende conferir legitimidade ao conhecimento histórico, tão desprestigiado pela tradição cartesiana, mesmo de tempos remotos nos quais a faculdade imaginativa excedera à razão. Trata-se, então, neste artigo, de compreender (...) o conceito de imaginação na teoria do conhecimento de Vico e as rupturas e continuidades que o filósofo estabelece com o legado cartesiano proveniente do século anterior. (shrink)